$\forall$$T$:Type, ${\it op}$:($T$$\rightarrow$$T$$\rightarrow$$T$), ${\it id}$:$T$. SqStable(Ident($T$;${\it op}$;${\it id}$))